Characterising Deadlines in Temporal Modal Defeasible Logic
نویسندگان
چکیده
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.
منابع مشابه
On the Complexity of Temporal Defeasible Logic
In this paper we investigate the complexity of temporal defeasible logic, and we propose an efficient algorithm to compute the extension of a temporalised defeasible theory. We motivate the logic showing how it can be used to model deadlines.
متن کاملComputing Temporal Defeasible Logic
We investigate the complexity of temporal defeasible logic, and propose an efficient algorithm to compute the extension of any theory. The logic and algorithm are discussed in regard to modeling deadlines and normative retroactivity.
متن کاملDiscourse Relations and Defeasible Knowledge
This paper presents a formal account of the temporal interpretation of text. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules characterising causal laws and Gricean-style pragmatic maxims. Intuitively compelling pat terns of defea,sible entailment that are supported by the logic in which the theory is expressed are shown to underly tem...
متن کاملInteraction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1] that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1] with temporal intervals.
متن کاملOn the Representation of Deadlines in a Rental Agreement
Many agreements and contracts contain deadlines. Because deadlines combine time and obligations, they are naturally studied by a combination of temporal logic with deontic logic [2]. A deadline, that φ should occur before δ , can be expressed as a formula which involves the ‘until’-operator: OBL(φUδ ). However, such a characterisation does not indicate what will happen after the deadline. Since...
متن کامل